10
Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach

Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach

년:
2010
언어:
english
파일:
PDF, 8.54 MB
0 / 0
english, 2010
12
Specification and verification of declarative open interaction models : a logic-based approach

Specification and verification of declarative open interaction models : a logic-based approach

년:
2010
언어:
english
파일:
PDF, 6.55 MB
0 / 0
english, 2010